(declare-fun c () Real)
(declare-fun d () Real)
(declare-fun a () Real)
(declare-fun i () Real)
(declare-fun e () Real)
(declare-fun j () Real)
(declare-fun f () Real)
(declare-fun b () Real)
(declare-fun g () Real)
(assert (exists ((h Real)) (and (= f 0.0 (mod (mod j 0) g)) (<= a 0 0.0 e g (- c i) d) (= b 2.0))))
(check-sat)
